Independence algebras, basis algebras and the distributivity condition
نویسندگان
چکیده
منابع مشابه
Independence Algebras, Basis Algebras and Semigroups of Quotients
We show that if A is a stable basis algebra satisfying the distributivity condition, then B is a reduct of an independence algebra A having the same rank. If this rank is finite, then the endomorphism monoid of B is a left order in the endomorphism monoid of A.
متن کاملDistributivity and associativity in effect algebras
We prove “large associativity” of the partial sum in effect algebras and present an overview of distributivity-like properties of partial operations ⊕ and in effect algebras with respect to (possibly infinite) suprema and infima and vice versa generalizing several previous results.
متن کاملV*-Algebras, Independence Algebras and Logic
Independence algebras were introduced in the early 1990s by specialists in semigroup theory, as a tool to explain similarities between the transformation monoid on a set and the endomorphism monoid of a vector space. It turned out that these algebras had already been defined and studied in the 1960s, under the name of v∗-algebras, by specialists in universal algebra (and statistics). Our goal i...
متن کاملIndependence-friendly cylindric set algebras
Independence-friendly logic is a conservative extension of first-order logic that has the same expressive power as existential second-order logic. In her Ph.D. thesis, Dechesne introduces a variant of independence-friendly logic called IFG logic. We attempt to algebraize IFG logic in the same way that Boolean algebra is the algebra of propositional logic and cylindric algebra is the algebra of ...
متن کاملOn Heyting algebras and dual BCK-algebras
A Heyting algebra is a distributive lattice with implication and a dual $BCK$-algebra is an algebraic system having as models logical systems equipped with implication. The aim of this paper is to investigate the relation of Heyting algebras between dual $BCK$-algebras. We define notions of $i$-invariant and $m$-invariant on dual $BCK$-semilattices and prove that a Heyting semilattice is equiva...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Acta Mathematica Hungarica
سال: 2020
ISSN: 0236-5294,1588-2632
DOI: 10.1007/s10474-020-01084-9